Universal logic

Results: 479



#Item
261Mathematical logic / Philosophical logic / Predicate logic / Theories of truth / Universal quantification / Empty set / Truth / Relativism / FO / Logic / Quantification / Philosophy

To appear in J. Hawthorne, ed., Philosophical Perspectives vol. on philosophy of language Everything Timothy Williamson

Add to Reading List

Source URL: www.philosophy.ox.ac.uk

Language: English - Date: 2008-02-04 11:49:46
262Predicate logic / Model theory / Quantification / Formal languages / Circumscription / Skolem normal form / Atomic formula / Function / Universal quantification / Logic / Mathematical logic / Mathematics

Computing Circumscription Revisited: Preliminary Report Patrick Doherty Dept. of Computer Science Linkoping University S[removed]Linkoping, Sweden

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-02-03 06:09:50
263Structure / Universal algebra / Interpretation / Symbol / Constructible universe / Normal distribution / Orbifold / Model theory / Logic / Mathematics

rstc04_camready_final.dvi

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-02-03 06:34:23
264Problem of universals / William of Ockham / Nominalism / Universal / Conceptualism / Sum of Logic / Philosophical realism / Essence / Abstract object / Philosophy / Metaphysics / Ontology

c Peter King 1997, all rights reserved. THE FAILURE OF OCKHAM’S NOMINALISM* I do hold this, that no universal, unless perhaps it is universal by a voluntary agreement, is something existing outside the soul in any

Add to Reading List

Source URL: individual.utoronto.ca

Language: English - Date: 2004-04-20 11:31:19
265Logic / Truthmaker / Supervenience / Physicalism / David Malet Armstrong / Modal logic / Universal / Problem of universals / Reality / Philosophy / Metaphysics / Ontology

Microsoft Word - Innentitelei.doc

Add to Reading List

Source URL: metaphysica.de

Language: English - Date: 2006-02-07 06:47:16
266Model theory / Mathematical structures / Universal algebra / Algebraic structures / Abstract algebra / Structure / Alfred Tarski / FO / Order / Mathematics / Mathematical logic / Logic

Notes on Event structures and Chu Gordon Plotkin January 9, 2005 1

Add to Reading List

Source URL: boole.stanford.edu

Language: English - Date: 2005-01-09 13:07:07
267Model theory / Structure / Universal algebra / Computability theory / Theory of computation / Combinatorial species / Symbol / Interpretation / Μ operator / Mathematics / Mathematical logic / Logic

Research Visit at the University of Illinois at Urbana-Champaign: End Report Felix Schernhammer January 25, [removed]

Add to Reading List

Source URL: www.marshallplan.at

Language: English - Date: 2014-09-30 21:01:03
268Mathematical logic / Mereology / Geometry / Theory / Cognition / Science / Mathematics / Anabelian geometry

ON THE VERIFICATION OF INTER-UNIVERSAL ¨ TEICHMULLER THEORY: A PROGRESS REPORT (AS OF DECEMBER 2014)

Add to Reading List

Source URL: www.kurims.kyoto-u.ac.jp

Language: English - Date: 2014-12-28 08:22:26
269Electronics / Videotelephony / Signaling System 7 / IP Multimedia Subsystem / Multimedia / Network architecture / 3GPP / User equipment / Customised Applications for Mobile networks Enhanced Logic / Technology / Electronic engineering / Universal Mobile Telecommunications System

TS[removed]V12[removed]Digital cellular telecommunications system (Phase 2+); Universal Mobile Telecommunications System (UMTS); LTE; Personal Network Management (PNM); Procedures and information flows; Stage 2 (3GPP TS

Add to Reading List

Source URL: www.etsi.org

Language: English - Date: 2014-10-03 03:16:25
270Electronics / Signaling System 7 / Videotelephony / 3GPP / Lawful interception / Customised Applications for Mobile networks Enhanced Logic / Network switching subsystem / 3GP and 3G2 / User equipment / Electronic engineering / Universal Mobile Telecommunications System / Technology

TS[removed]V12[removed]Universal Mobile Telecommunications System (UMTS); Technical realization of Circuit Switched (CS) multimedia service UDI/RDI fallback and service modification; Stage 2 (3GPP TS[removed]version 12.0.

Add to Reading List

Source URL: www.etsi.org

Language: English - Date: 2014-10-23 09:21:45
UPDATE